GtkFontChooserWidget: Allow fractional font sizes
authorMatthias Clasen <mclasen@redhat.com>
Fri, 15 Aug 2014 18:57:31 +0000 (14:57 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 15 Aug 2014 18:57:31 +0000 (14:57 -0400)
commita8ed0dd4eef87dfeaa0263c115c35d74ed8019bc
tree170640386e283dcf42b2458756e5d1be5a965ff8
parente23f7c13b0fd951b89cf545b450ed50889b241dc
GtkFontChooserWidget: Allow fractional font sizes

With this change, we let users enter up to 2 decimals in the entry,
to specify font sizes exactly. The slider still rounds to whole
numbers.

https://bugzilla.gnome.org/show_bug.cgi?id=665711
gtk/gtkfontchooserwidget.c
gtk/resources/ui/gtkfontchooserwidget.ui